Viewpoint-based testing of concurrent components

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoints to devise a strategy for testing the components. When combining the test templates for the different viewpoints we focus on the observable behaviour of the application to systematically derive a practical testing strategy. The Producer-Consumer and Readers-Writers problems are considered as case studies

Specifying Urgency in Timed I/O Automata

Appeal from Order denying Defendant\u27s Motion for Relief 60(b) from Ex-Parte Order Granting Intervener\u27s right to collect child support, Order issued in the Third District Court, by the Honorable David S. Young presiding, minute order signed September 22, 1992 Notice of Appeal filed October 22, 1992

La Terra Santa

Il contributo di E. Galbiati alla conoscenza della geografia e della storia palestines